Scott domain

An {algebraic}, {boundedly complete}, {complete partial

order}. Often simply called a {domain}.

(1994-11-01)